- 2 402 202 книги
#1
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM ... Lecture Notes in Artificial Intelligence)
Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. SextonКатегория: Компьютеры
7.53 Mb
#2
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth (Lecture Notes in Computer Science Theoretical Computer Sci)
Jacques Calmet, Willi Geiselmann, Jörn Müller-QuadeКатегория: Компьютеры
4.10 Mb
#3
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings (Lecture Notes in Computer Science)
Jacques Calmet, John A. Campbell (eds.)
2.73 Mb
#4
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August ... Papers (Lecture Notes in Computer Science)
Jacques Calmet, John A. Campbell
2.58 Mb
#5
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science)
Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
4.20 Mb
#6
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, ... Lecture Notes in Artificial Intelligence)
Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
8.02 Mb
#7
Mathematical Methods in Computer Science
Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade
3.33 Mb
#11
Calmet J. (ed.) Computer algebra (Proc. EUROCAM-82, LNCS 144, Springer, 1982)(T)(311s).djvu
2.45 Mb
#18
Algebraic Algorithms and Error-Correcting Codes 3 conf., AAECC-3
Jaques CalmetКатегория: Cs_Computer science, CsLn_Lecture notes
3.18 Mb
#19
Computer Algebra, EUROCAM '82
J. CalmetКатегория: Cs_Computer science, CsLn_Lecture notes
2.43 Mb
#20
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker SorgeКатегория: Cs_Computer science, CsLn_Lecture notes
2.58 Mb
#21
Mathematical Methods in Computer Science, MMICS 2008
Jacques Calmet, Willi Geiselmann, Jörn Müller-QuadeКатегория: CsLn_
2.75 Mb
#22
Intelligent Computer Mathematics: 10 conf., AISC2010, 17 conf., Calculemus 2010, 9 conf., MKM2010
Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. SextonКатегория: Cs_Computer science, CsLn_Lecture notes
4.60 Mb
#23
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Jacques Calmet, Jan Plaza
8.23 Mb
#24
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Jacques Calmet, John A. Campbell
2.71 Mb
#25
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
4.16 Mb
#26
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Jacques Calmet, Carla Limongelli
4.10 Mb
#27
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August ...
Jacques Calmet, John A. Campbell
2.52 Mb
